The Formalization of Practical Reasoning: An Opinionated Survey

Kant's Logic in the Critique of Practical Reason - a Logical Formalization of Kant's Practical Transcendental Argument Msc in Logic

Logic plays a fundamental role in Kant’s transcendental philosophy. The general presupposition is that Kant’s logic can be subsumed under the Aristotelian tradition. However, with respect to this presupposition some problems arise in Kant’s philosophy. This thesis takes a new approach to Kant’s logic: Instead of imposing a logical framework on Kant’s thought this thesis aims at deriving the log...

Draft Chapter for Handbook on Logic of Normative Systems Title: The Formalization of Practical Reasoning: Problems and Prospects

Forthcoming in: Handbook on Logic of Normative Systems Edited by Xavier Parent et al. Title: The Formalization of Practical Reasoning: Problems and Prospects

A Critique of the CAP Theorem

The CAP Theorem is a frequently cited impossibility result in distributed systems, especially among NoSQL distributed databases. In this paper we survey some of the confusion about the meaning of CAP, including inconsistencies and ambiguities in its definitions, and we highlight some problems in its formalization. CAP is often interpreted as proof that eventually consistent databases have bette...

رابطۀ متغیرهای طراحی ساختار سازمانی و اجرای مدیریت دانش در کتابخانه‌های عمومی شهر مشهد

Purpose: The purpose of this study is to evaluate the relationship between dimensions of organizational structure and variables of the implementation of knowledge management in Mashhad public libraries. Methodology: A survey of 106 librarians within public libraries of Mashhad was used for this study. Robbins standard questionnaire was used to collect data about variables of organizational str...